Marginalia — Cuaderno Interactivo Marginalia The Art of Computer Programming: Vol. 4B — Combinatorial Algorithms, Part 2
Índices de Navegación / Navigation Indexes
Por qué lo estoy leyendo / Why I'm reading this
Estudio de las técnicas más avanzadas y modernas de búsqueda en espacios discretos gigantescos. Incluye los fundamentos probabilísticos actualizados (Martingalas), la programación de vuelta atrás (Backtracking) usando estructuras de enlaces danzantes para problemas de cobertura exacta, y la teoría y diseño de SAT Solvers industriales capaces de manejar millones de variables booleanas.